Is the diskette a 3.5 inch or 5.25 inch diskette?